[计]语义锁定;

Linear strategy, semantic strategy and lock strategy for remainder method
余式方法中的线性策略以及语义策略和锁策略
来源:互联网摘选本文给出如下结果:语义归结和锁归结在某种条件下是相容的;
来源:互联网摘选语义归结、锁归结、线性归结是三种重要的关于归结原理的改进。
来源:互联网摘选
简答网 · 高考英语

简答网 · 高考英语

简答网 · 高考英语

简答网 · 高考英语

简答网 · 高考英语

简答网 · 四六级英语